-
English
-
Russian
-
German
-
English
-
Russian
-
German
Exit subproof
Translation of "exit subproof" into Russian
exit subproof
выйти из поддоказательства
He should exit the subproof once the conclusion is reached.
Он должен выйти из поддоказательства, как только будет достигнуто заключение.